One-Dimensional Fibers of Rigid Subanalytic Sets
نویسندگان
چکیده
Let K be an algebraically closed eld of any characteristic, complete with respect to the non-trivial ultrametric absolute value jj : K ! R +. By R denote the valuation ring of K, and by } its maximal ideal. We work within the class of subanalytic sets deened in L2], but our results here also hold for the strongly subanalytic sets introduced in S] as well as for those subanalytic sets considered in LR2]. Let X R 1 be subanalytic. In LR1], we showed that there is a decomposition of X as a union of a nite number of special sets U R 1 (see below). In this note, in Theorem 1.6, we obtain a version of this result which is uniform in parameters, thereby answering a question brought to our attention by Angus Macintyre. It follows immediately from Theorem 1.6 that the theory of K in the language L D an (see L2] and LR2]) is C-minimal in the sense of HM] and MS]. The analogous uniformity result in the p-adic case was recently proved in DHM]. 1.1 Deenition. (i) A disc in R 1 is a set of one of the two following forms: A special set in R 1 is a disc minus a nite union of discs.
منابع مشابه
Uniform Properties of Rigid Subanalytic Sets
In the context of rigid analytic spaces over a non-Archimedean valued field, a rigid subanalytic set is a Boolean combination of images of rigid analytic maps. We give an analytic quantifier elimination theorem for (complete) algebraically closed valued fields that is independent of the field; in particular, the analytic quantifier elimination is independent of the valued field’s characteristic...
متن کاملParameterized Stratification and Piece Number of D-semianalytic Sets
We obtain results on the geometry of D-semianalytic and subanalytic sets over a complete, non-trivially valued non-Archimedean field K, which is not necessarily algebraically closed. Among the results are the Parameterized Smooth Stratification Theorem and several results concerning the dimension theory of D-semianalytic and subanalytic sets. Also, an extension of Bartenwerfer’s definition of p...
متن کاملRigid Subanalytic Subsets of Curves and Surfaces
Working over an algebraically closed, complete, non-Archimedean, non-trivially valued eld of characteristic zero, we show that (i) any subanalytic subset of a one-dimensional semialgebraic set is semialgebraic; (ii) any one-dimensional sub-analytic set is semianalytic; and (iii) any subanalytic subset of a two-dimensional semianalytic set is semianalytic. x1. Introduction In this paper, K denot...
متن کاملFlattening and Subanalytic Sets in Rigid Analytic Geometry
Let K be an algebraically closed field endowed with a complete nonarchimedean norm with valuation ring R. Let f : Y → X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y ) ⊂ X; such an image is a typical example of a subanalytic set. We show that the subanalytic sets are precisely the D-semianalytic sets, where D is the truncated division function ...
متن کاملRigid Subanalytic Sets
Let K be an algebraically closed field endowed with a complete non-archimedean norm. Let f : Y → X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y ) ⊂ X; such an image is a typical example of a subanalytic set. We show that the subanalytic sets are precisely the D-semianalytic sets, where D is the truncated division function first introduced by D...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 63 شماره
صفحات -
تاریخ انتشار 1998